Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ“šStack Allocation
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ชProgram Slicing
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท1dยท
๐Ÿ”’Rust Borrowing
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
โœ…Type Checking
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท11hยท
๐Ÿ“กErlang BEAM
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.comยท2dยท
Discuss: Hacker News
๐ŸงชCompiler Testing
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.toยท21hยท
Discuss: DEV
๐ŸŽฏPattern Matching
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refineryโ€™s Go Code, No Rust Required.
honeycomb.ioยท19hยท
๐Ÿ“šStack Data Structures
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.comยท4dยท
Discuss: Hacker News
๐Ÿ“šStack Allocation
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comยท5h
๐Ÿ›ก๏ธSecurity Type Systems
Flag this post
๐Ÿš€ Go Faster: Cutting the Slack in GC with Smart Memory Allocation
dev.toยท2dยท
Discuss: DEV
๐Ÿง Memory Allocators
Flag this post
Vectorizing for Fun and Performance
ibm.comยท2dยท
Discuss: Hacker News
๐Ÿ”€SIMD Programming
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.comยท1dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธQuery Compilation
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐Ÿ“‹Template Compilers
Flag this post
exploits.club Weekly Newsletter 91 - Patch-gapping Browsers, Ubuntu LPEs, Bluetooth Int Underflows, And More
blog.exploits.clubยท3h
๐Ÿ“ฆAllocation Elision
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.comยท18hยท
๐Ÿ”—Weak References
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
๐Ÿ›ก๏ธError Handling
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.orgยท16h
๐ŸŒฑMinimal ML
Flag this post
Nim 2.2.6
nim-lang.orgยท5hยท
Discuss: Hacker News
๐Ÿ’ฌError Messages
Flag this post
We May Have Fixed Python's 25-Year-Old Vulnerability
iyehuda.substack.comยท1dยท
Discuss: Substack
๐Ÿ›ก๏ธParser Security
Flag this post